Peano axioms

Results: 66



#Item
61Computability theory / Proof theory / Model theory / Functions and mappings / Elementary function arithmetic / Peano axioms / Primitive recursive function / Primitive recursive arithmetic / Second-order arithmetic / Mathematical logic / Mathematics / Logic

PDF Document

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2013-10-02 10:18:56
62Cardinal numbers / Richard Dedekind / Dedekind-infinite set / Finite set / Georg Cantor / Peano axioms / Universe / Axiom of choice / Transfinite number / Mathematics / Mathematical logic / Set theory

PDF Document

Add to Reading List

Source URL: math.bu.edu

Language: English - Date: 2012-03-06 14:12:16
63Computability theory / Effective descriptive set theory / Functions and mappings / Function / Reverse mathematics / Second-order arithmetic / Constructivism / Impredicativity / Peano axioms / Mathematics / Mathematical logic / Logic

PDF Document

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2002-11-18 18:14:48
64Mathematics / Saturated model / Stable theory / Ordinal number / First uncountable ordinal / Peano axioms / First-order logic / Ω-consistent theory / Vaught conjecture / Mathematical logic / Model theory / Logic

PDF Document

Add to Reading List

Source URL: logic.pdmi.ras.ru

Language: English - Date: 2011-05-03 04:34:49
65Non-standard analysis / Model theory / Order theory / Z notation / Zermelo–Fraenkel set theory / Forcing / Inner model / Saturated model / Peano axioms / Mathematical logic / Mathematics / Set theory

PDF Document

Add to Reading List

Source URL: websupport1.citytech.cuny.edu

Language: English - Date: 2010-08-08 09:40:15
66Abstract algebra / Vector space / Exterior algebra / Algebraic structure / Peano axioms / Euclidean vector / Grassmannian / Linear map / Affine geometry / Algebra / Mathematics / Linear algebra

PDF Document

Add to Reading List

Source URL: pdn.sciencedirect.com

Language: English
UPDATE